683968dd07d5dce8e77b599b519de4d32c8f1171,examples/it.xsemantics.example.lambda/xsemantics-gen/it/xsemantics/example/lambda/xsemantics/LambdaXsemanticsSystem.java,LambdaXsemanticsSystem,applyRuleVariableType,#RuleEnvironment#RuleApplicationTrace#TypeSubstitutions#Variable#,842

Before Change


  protected Result<Type> applyRuleVariableType(final RuleEnvironment G, final RuleApplicationTrace _trace_, final TypeSubstitutions substitutions, final Variable variable) throws RuleFailedException {
    Type type = null; // output parameter
    Parameter _ref = variable.getRef();
    Type _env = this.<Type>env(G, _ref, Type.class);
    Type _copy = EcoreUtil.<Type>copy(_env);
    Type _typesubstitution = this.typesubstitutionInternal(_trace_, substitutions, _copy);
    type = _typesubstitution;
    return new Result<Type>(type);
  }
  

After Change


  protected Result<Type> applyRuleVariableType(final RuleEnvironment G, final RuleApplicationTrace _trace_, final TypeSubstitutions substitutions, final Variable variable) throws RuleFailedException {
    Type type = null; // output parameter
    type = this.typesubstitutionInternal(_trace_, substitutions, 
      EcoreUtil.<Type>copy(this.<Type>env(G, variable.getRef(), Type.class)));
    return new Result<Type>(type);
  }